翻訳と辞書
Words near each other
・ Widgrenia
・ Widham
・ Widhwidh
・ WIDI
・ WiDi
・ Widi
・ Widi (disambiguation)
・ Widi language
・ Widia
・ Widich Nunatak
・ Widikum people
・ Widin
・ Widji Thukul
・ Widjojo Nitisastro
・ WIDL
Wide-spectrum language
・ Wide-toothed hutia
・ Wideacre
・ WideAngle
・ WIDEawake
・ Wideawake
・ Wideband
・ Wideband audio
・ Wideband delphi
・ Wideband Digital Enhanced Cordless Telecommunications
・ Wideband Global SATCOM
・ Wideband materials
・ Wideband modem
・ Wideband Networking Waveform
・ Wideband voice


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Wide-spectrum language : ウィキペディア英語版
Wide-spectrum language
A wide-spectrum language (WSL) is a programming language designed to be simultaneously a low-level and a high-level language—possibly a non-executable specification language. Wide-spectrum languages are designed to support a programming methodology based on program refinement.
The concept was introduced by F. L. Bauer ''et al.'' in 1978:

...The program should then be developed step by step applying correctness
preserving transformations.... The development process
thus involves usually multiple reshapings....
Since most current programming languages do not contain
all the concepts needed for the formulation of the different
versions, the programmer is nowadays forced to
use different languages. To avoid the transition from
one language to another, it seems appropriate to have
one coherent language frame covering the whole spectrum
outlined above, i.e. a ''wide spectrum language''.〔Bauer, p. 15〕

The advantage of a single language rather than separate specification, high-level, and low-level languages is that the program can be incrementally refined, with intermediate versions retaining some higher-level and some lower-level constructs.
Bauer's group developed the CIP-L wide-spectrum language and the CIP-S program transformation system.
==See also==

* Extended ML, a wide-spectrum language based on ML
* One major implementation of Common Lisp, sbcl, has an interface to the assembly language called VOP(Virtual OPerator), in which the user can manipulate the register directly.
* RAISE Specification Language, described as a wide-spectrum specification language

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Wide-spectrum language」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.